- Typentheorie (die)
- théorie des types
Lexique philosophique allemand-français. D. Seron. 2004.
Typentheorie (die)
Regardez d'autres dictionnaires:
Typentheorie — Typentheorie, eine von A. N. Whitehead und B. Russell erarbeitete Axiomatisierung der Mengenlehre mit einem entsprechend formalisierten Aufbau der Logik, die erstmals 1910 13 von ihnen in dem dreibändigen Werk »Principia Mathematica«… … Universal-Lexikon
Typentheorie — Typentheorie, die von Cuvier und Baer aufgestellte Anschauung, daß man das Tierreich nicht (wie die Naturphilosophen taten) entwickelungsgeschichtlich in eine einzige große Reihenfolge (Stufenleiter) anordnen dürfe, sondern mindestens vier Typen… … Meyers Großes Konversations-Lexikon
Typentheorie — Die Typentheorie ist eine von Bertrand Russell entwickelte Form der Mengenlehre, mit der er unter anderem versuchte, die von ihm entdeckte Russellsche Antinomie und andere Widersprüche der naiven Mengenlehre zu beheben. Nach dieser Theorie gibt… … Deutsch Wikipedia
Typtheorie — Die Typentheorie ist eine von Bertrand Russell entwickelte Form der Mengenlehre, mit der er unter anderem versuchte, die von ihm entdeckte Russellsche Antinomie und andere Widersprüche der naiven Mengenlehre zu beheben. Nach dieser Theorie gibt… … Deutsch Wikipedia
Klassenlogik — Die Klassenlogik ist im weiteren Sinn eine Logik, deren Objekte als Klassen bezeichnet werden. Im engeren Sinn spricht man von einer Klassenlogik nur dann, wenn Klassen durch eine Eigenschaft ihrer Elemente beschrieben werden. Diese Klassenlogik… … Deutsch Wikipedia
Bertrand Russell, 3. Earl Russell — Bertrand Russell, 1907 Bertrand Arthur William Russell, 3. Earl Russell (* 18. Mai 1872 bei Trellech, Monmouthshire, Wales; † 2. Februar 1970 in Penrhyndeudraeth, Gwynedd, Wales), war ein britischer Philosoph, Mathematiker und Logiker. Zu … Deutsch Wikipedia
Axiomatische Mengenlehre — Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet. Die verbreitetste Axiomatisierung in der modernen Mathematik ist die Zermelo Fraenkel Mengenlehre mit… … Deutsch Wikipedia
Bertrand Russell — Bertrand Russell, 1970 Bertrand Arthur William Russell, 3. Earl Russell (* 18. Mai 1872 bei Trellech, Monmouthshire, Wales; † 2. Februar 1970 in Penrhyndeudraeth, Gwynedd, Wales), war ein britischer Philosoph, Mathem … Deutsch Wikipedia
Charles Frédéric Gerhardt — Portrait von Charles Frédéric Gerhardt Grab von Charles Gerhardt in Straßburg Charles Frédéric Gerhardt (* … Deutsch Wikipedia
Reduzibilitätsaxiom — Reduzibilitäts|axiom, eines der Axiome, die von A. N. Whitehead und B. Russell in den »Principia Mathematica« (3 Bände, 1910 13) benutzt wurden, um unter Voraussetzung der verzweigten Typentheorie die Mathematik aufbauen zu können. Das… … Universal-Lexikon
Widerspruchsfreiheit — In der Logik gilt eine Menge Φ von Aussagen als konsistent oder widerspruchsfrei, wenn aus ihr kein Widerspruch abgeleitet werden kann. Das bedeutet in der Prädikatenlogik, dass es keinen Ausdruck gibt derart, dass sowohl als auch aus Φ ableitbar … Deutsch Wikipedia
